English translation for "machine de turing non déterministe"

nondeterministic turing machine

Example Sentences:

	1.	An alternative characterization of PP is the set of problems that can be solved by a nondeterministic Turing machine in polynomial time where the acceptance condition is that a majority (more than half) of computation paths accept. PP est la classe des problèmes de décision décidés par une machine de Turing non déterministe en temps polynomial, dont la majorité (plus de la moitié) des exécutions sont acceptantes.
	2.	Fagin's theorem, which he proved in his PhD thesis, states that existential second-order logic coincides with the complexity class NP in the sense that a decision problem can be expressed in existential second-order logic if and only if it can be solved by a non-deterministic Turing machine in polynomial time. Le théorème de Fagin, qu'il a prouvé dans sa thèse de doctorat, affirme que la logique du second ordre existentielle coïncide avec la classe de complexité NP en ce sens qu'un problème peut être exprimé en logique du second ordre existentielle si et seulement s'il peut être résolu par une machine de Turing non déterministe en temps polynomial.
	3.	The notion of string acceptance is unchanged: a non-deterministic Turing machine accepts a string if, when the machine is started on the configuration in which the tape head is on the first character of the string (if any), and the tape is all blank otherwise, at least one of the machine's possible computations from that configuration puts the machine into a state in A {\displaystyle A} . La notion d'acceptation de l'entrée est inchangée: une machine de Turing non déterministe accepte un mot en entrée si et seulement si quand la machine démarre sur une configuration où la tête est placée sur le premier caractère du mot sur le ruban blanc partout ailleurs, au moins une des séquences de calcul de la machine atteint un état acceptant ∈ A

Similar Words：

"machine de traction" English translation, "machine de traitement de texte" English translation, "machine de traitement du courrier" English translation, "machine de turing" English translation, "machine de turing alternante" English translation, "machine de turing probabiliste" English translation, "machine de turing symétrique" English translation, "machine de turing universelle" English translation, "machine de watt" English translation